DIRECTORY_CLASS Chart

Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Contracts
class
    DIRECTORY_CLASS

General
    cluster: root_cluster
    description: "Objects that ..."
    create: make

Ancestors
    ANY

Queries
    caption: STRING
    file_system: KL_WINDOWS_FILE_SYSTEM
    out: STRING
    path: STRING
    size: REAL

Commands
    make (a_path: STRING)

Constraints
    caption exists
    path exists

Classes Clusters Cluster hierarchy Chart Relations Text Contracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com